#!/bin/sh

# Fix access permissions for /Library/Application Support/Yices

chown -R root.admin /Library/Application\ Support/Yices
chmod -R og+rX /Library/Application\ Support/Yices
